7

A constructive approach to sequential Nash equilibria

Year:
2006
Language:
english
File:
PDF, 72 KB
english, 2006
9

Cut rules and explicit substitutions

Year:
2001
Language:
english
File:
PDF, 414 KB
english, 2001
10

The Simple Type Theory of Normalisation by Evaluation

Year:
2001
Language:
english
File:
PDF, 401 KB
english, 2001
13

Patients With Eating Disorders

Year:
2003
Language:
english
File:
PDF, 194 KB
english, 2003